open sentence statement开
N（名词） an expression containing a free variable that can be replaced by a name to yield a sentence, as x is wise 真伪未定的命题 (Also called propositional function, sentential function) [logic]